The sequence equivalence problem for primitive D0L systems

Exploring the inference problem for D0L-Systems

the algorithm for solving the inverse numerical range problem

برد عددی ماتریس مربعی a را با w(a) نشان داده و به این صورت تعریف می کنیم w(a)={x8ax:x ?s1} ، که در آن s1 گوی واحد است. در سال 2009، راسل کاردن مساله برد عددی معکوس را به این صورت مطرح کرده است : برای نقطه z?w(a)، بردار x?s1 را به گونه ای می یابیم که z=x*ax، در این پایان نامه ، الگوریتمی برای حل مساله برد عددی معکوس ارانه می دهیم.

On the Equivalence Problem for Attribute Systems

The authors have shown in Courcelle et al. (1982) that certain attribute systems called strongly noneireular can be translated into recursive program schemes taking derivation trees as arguments and called primitive reeursive schemes with parameters. In particular, the equivalence problem for strongly noncircular attribute systems reduces to the equivalence problem for the latter class of progr...

Watson-Crick D0L Systems

D0L systems constitute the simplest and most widely studied type of Lindenmayer systems. They have the remarkable property of generating their language as a (word) sequence and, consequently, are very suitable for modeling growth properties. In this paper a new type of D0L systems is introduced, where the parallelism presented in L systems is combined with the paradigm of (Watson-Crick) complem...

On fairness of D0L systems

Aword is called fair if it contains, for each pair of distinct symbols a, b, the same number of occurrences of the scattered subword ab as of ba. We prove that if the first k + 1 words in the sequence generated by a D0L system over a k-letter alphabet are fair then all words in the sequence are fair. © 2007 Elsevier B.V. All rights reserved.